eq\_atom\$n($x$;$y$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$atom\_eq\{\$n:n\}($x$; $y$; true$_{2}$; false$_{2}$)